Cos'è assiomi di peano?

Gli Assiomi di Peano sono un insieme di assiomi matematici che definiscono i numeri naturali. Furono proposti da Giuseppe Peano nel 1889. Forniscono una base rigorosa per definire l'aritmetica. Gli assiomi sono i seguenti:

  1. Esistenza dello Zero: Esiste un numero naturale indicato con 0. (Alcune formulazioni usano 1 invece di 0 come punto di partenza.)

  2. Funzione Successore: Ogni numero naturale n ha un successore, indicato con S(n), che è anch'esso un numero naturale.

  3. Iniettività del Successore: Se S(n) = S(m), allora n = m. In altre parole, la funzione successore è iniettiva. Questo significa che numeri diversi hanno successori diversi.

  4. Zero non è Successore: Non esiste alcun numero naturale n tale che S(n) = 0. In altre parole, 0 non è il successore di nessun numero naturale.

  5. Principio di Induzione: Se un insieme A di numeri naturali contiene 0 e, per ogni n in A, contiene anche S(n), allora A contiene tutti i numeri naturali. Formalmente: Se A è un insieme di numeri naturali tale che:

    • 0 è in A
    • Per ogni n in A, S(n) è in A

    Allora A è l'insieme di tutti i numeri naturali.

Questi assiomi definiscono in modo formale i numeri naturali e consentono di definire operazioni aritmetiche come l'addizione e la moltiplicazione in termini di successione. L'importanza di questi assiomi risiede nella loro capacità di fornire una base solida e coerente per l'aritmetica e, più in generale, per la matematica.